{
}
// ----
// : movable, sideEffectFree, sideEffectFreeIfNoMSize
